همگرایی قوی در نظریه مدل های متناهی

thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
author سیدعلیرضا نیک بخت
adviser سیدمحمد باقری
Number of pages: First 15 pages
publication year 1391

abstract

در نظریه ی مدلهای متناهی قانونی به نام 0-1 وجود دارد که درباره حد کسر مدلهای رابطه ای از اندازه n که یک جمله ی مشخص را ارضا میکنند صحبت میکند. این قضیه به اشکال مختلف گسترش داده شده است که در این جا حالت ویژه ای از قانون صفر و یک به نام قانون صفر و یک قوی را با تعریف یک اندازه سیگما جمعی روی دنباله های مدلهای متناهی از اندازه 1 تا n تعریف میکنیم و بررسی میکنیم برای هر جمله ی مرتبه اول، خود جمله یا نقیض آن در مدل از اندازه n نهایتا به طور قریب به یقین برقرار است که درواقع به معنای بررسی قانون صفر و یک قوی برای جملات است و در ادامه گسترشی از آن را که قانون همگرایی قوی نامیده شده و در واقع تعبیری از قانون صفرویک قوی روی فرمولهاست بیان میکنیم و در پایان نشان میدهیم، منطق متناهی با نامتناهی متغییر دارای قانون همگرایی قوی برای فرمولها،برای یک اندازه ی یکنواخت میباشدو این قانون را برای برخی اندازه های غیر یکنواخت نیز بررسی میکنیم.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

تحول در نظریه های همگرایی

در تبیین علل و عوامل توسعه همکاری در میان کشورها نظریه های مختلفی مطرح شده است. یکی از نظریه هایی که به این موضوع می پردازد‘ همگرایی منطقه ای است که اساساً از تجربه های جوامع اروپایی نشأت گرفته است. در پی موفقیت کشورهای اروپایی در توسعه روابط فنی و اقتصادی‘ بسیاری از کشورهای جهان سوم بهره گیری از آن را به عنوان یک استراتژی برای رشد مورد توجه قرار دادند. گروه بندیهای متعددی د ر میان این کشورها‘ ب...

full text

تحول در نظریه های همگرایی

full text

مدل های نظریه مجموعه های متناهی

( با توجه به اینکه این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن موجود نمی باشد و فایلهای تک آن درج شده است ) نظریه مجموعه های متناهی بخش ضعیفی از نظریه مجموعه هاست که با جایگزینی نقیض اصل نامتناهی به جای آن در نظریه مجموعه های اصل بندی شده توسط zermello , fraenkel بدست می آید. یک omegaـمدل برای این نظریه مدلی است که تمام اعضای آن متناهی هستند. در اینجا با این دیدگاه که هر مدل نظ...

15 صفحه اول

همگرایی قوی روش عنصر متناهی برای معادله‏ی موج خطی تصادفی با نوفه جمعی

در این پایان نامه، حل تقریبی معادله ی موج خطی تصادفی با نوفه ی جمعی در قالب نظریه ی نیم گروه ها مورد مطالعه قرار گرفته است. برای این منظور، از روش های عنصر متناهی و اویلر پسرو به ترتیب برای نیم گسسته سازی مکان و زمان استفاده شده است. ابتدا، تخمین های خطای بهینه با کمترین همواری لازم برای مسأله ی غیرتصادفی نیم گسسته به دست آمده اند و در اثبات تخمین های همگرایی قوی برای مسأله ی تصادفی استفاده...

15 صفحه اول

همگرایی قوی روش عنصر متناهی برای معادله ی گرمای خطی تصادفی با نوفه جمعی

در این پایان نامه حل تقریبی معادله ی گرمای خطی تصادفی با نوفه ی جمعی مورد مطالعه قرار گرفته است. در این راستا از روش های عنصر متناهی و اویلر پسرو به ترنیب برای نیم گسسته سازی مکان و زمان استفاده شده است. ابتدا تخمین خطا برای مسآله ی تصادفی نیم گسسته به دست آمده است که در نهایت در اثبات تخمین های همگرایی قوی برای مساله ی تصادفی استفاده شده اند.

همگرایی قوی به روش هیبرید

فرض کنید c زیر مجموعه ای ناتهی، بسته و محدب از یک فضای هیلبرت حقیقی است. و هم چنین، دنباله {t_n } را خانواده ای از خود نگاشتها روی c در نظر می گیریم به طوری که مجموعه همه نقاط ثابت مشترک آن ناتهی باشد.دنباله {x_n } تولید شده به روش هیبرید را به صورت زیر تعریف می کنیم: {?(x_(0 )=x?c,@y_n=t_n p_c (x_n+?_n ),@c_n={z?c??y_n-z?^2??x_n+?_n-z?^2-a_n ?p_c (x_n+?_n )-y_n ?^2 },@q_n={z?c?(x_0-x_n,x_n-z)...

15 صفحه اول

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}

document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

Keywords

نظریه مدلهای متناهی قانون صفر و یک قانون صفر و یک قوی

Hosted on Doprax cloud platform doprax.com